The logic of typed feature structures is a sorted description logic
that has enjoyed widespread usage in grammar design for the last 20 years.
Woodbury and Burrow have faithfully preserved its strengths in adapting it
to design space navigation research, although the weaknesses it has
exhibited in the context of natural language grammar design are likely to
surface here as well.